@inproceedings(
Relators,Author="Mitchell, J.C. and A. Scedrov",
        Title="Notes on Sconing and Relators",
        Booktitle="{Computer Science Logic '92, Selected Papers}", 
        Editor="E. Boerger et al.", 
        Publisher="{Springer LNCS 702}", 
        Year="1993", 
        Pages="352-378")